fun jsFun(): String = js("\"OK\"")